Skip to main content

Conjunction

Conjunction[expr,{a1,a2,…}] gives the conjunction of expr over all choices of the Boolean variables ai.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.